Commentary by cpressey on Category Theory works =============================================== ### Categories, types, and structures ### Category Theory for Programmers ### Category Theory \| Logic Matters ### computational trinitarianism in nLab ### Is every category a localization of a poset? From what I can see, the answer is "yes". So does this mean we can call it Localized Poset Theory instead? Hmm...